Having the property that for
every
,
there exists at least one
for which
.
, there exists at least one 
for which 
., there exists at least one for which .